В статье описывается подход к верификации правил фильтрации межсетевого экрана, в том числе представляются модели, алгоритмы и разработанный программный прототип, предназначенные для обнаружения аномалий фильтрации в спецификации политики безопасности компьютерной сети. Предлагаемый подход основан на применении метода ―проверки на модели‖ (Model Checking) и позволяет использовать темпоральную логику для спецификации и анализа информационных процессов, протекающих в модели компьютерной сети c функционирующей системой безопасности, которые изменяются во времени и могут нарушить такие свойства безопасности, как конфиденциальность и доступность.
Рассматриваются задачи выработки рекомендаций в сфере бюджетно-налоговой и торговой политики по противодействию экономическим санкциям на уровне как отдельных стран, подвергшихся таким санкциям, так и на уровне экономического союза, включающего такие страны. Исследования проведены на базе разработанной динамической многоотраслевой и многострановой вычислимой модели общего равновесия, которая описывает функционирование экономик девяти регионов планеты, включая пять стран Евразийского Экономического Союза. Исходные данные модели содержат построенные наборы согласованных матриц социальных счетов для исторического и прогнозного периодов на основе данных: базы Global Trade Analysis Project, национальных таблиц затраты-выпуск, международной торговли и данных Международного валютного фонда (включая прогнозные) по основным макроэкономическим показателям регионов. Получены результаты влияния на макроэкономические и отраслевые показатели стран Евразийского Экономического Союза и других регионов гипотетического сценария, предусматривающего введение с 2019 года дополнительных экономических санкций в отношении России со стороны некоторых регионов. Предлагается подход решения задач по противодействию политике санкций на базе теории параметрического регулирования путем постановки и решения ряда задач динамической оптимизации по определению оптимальных значений соответствующих инструментов бюджетно-налоговой и торговой политики на уровне отдельных стран Евразийского Экономического Союза и в целом. Результаты расчетов на базе модели протестированы на возможность их практического применения с помощью трех подходов, включая оценку устойчивости отображений значений экзогенных параметров откалиброванной модели в значения ее эндогенных переменных. Приведенные результаты демонстрируют для каждой страны Евразийского Экономического Союза большую эффективность применения согласованной экономической политики по противодействию санкциям, по сравнению с проведением такой политики отдельно на уровне этой страны.
1 - 2 из 2 результатов